JIPS (한국정보처리학회)
Current Result Document :
| 한글제목(Korean Title) |
Static Type Assignment for SSA Form in CTOC |
| 영문제목(English Title) |
Static Type Assignment for SSA Form in CTOC |
| 저자(Author) |
Ki-Tae Kim
Weon-Hee Yoo
|
| 원문수록처(Citation) |
VOL 03 NO. 01 PP. 0026 ~ 0032 (2007. 06) |
한글내용
(Korean Abstract) |
|
영문내용
(English Abstract) |
Although the Java bytecode has numerous advantages, it also has certain shortcomings such as its slow execution speed and difficulty of analysis. In order to overcome such disadvantages, a bytecode analysis and optimization must be performed. The control flow of the bytecode should be analyzed; next, information is required regarding where the variables are defined and used to conduct a dataflow analysis and optimization. There may be cases where variables with an identical name contain different values at different locations during execution, according to the value assigned to a given variable in each location. Therefore, in order to statically determine the value and type, the variables must be separated according to allocation. In order to achieve this, variables can be expressed using a static single assignment form. After transformation into a static single assignment form, the type information of each node expressed by each variable and expression must be configured to perform a static analysis and optimization. Based on the basic type information, this paper proposes a method for finding the related equivalent nodes, setting nodes with strong connection components, and efficiently assigning each node type |
| 키워드(Keyword) |
Bytecode
control flow graph
Static Single Assignment
Static Type Assignment
|
| 파일첨부 |
|
